A short proof of non-GF(5)-representability of matroids

Tutte proved that a matroid is binary if and only if it does not contain a U2;4-minor. This provides a short proof for non-GF(2)-representability in that we can verify that a given minor is isomorphic to U2;4 in just a few rank evaluations. Using excluded-minor characterizations, short proofs can also be given of non-representablity over GF(3) and over GF(4). For GF(5), it is not even known whether the set of excluded minors is finite. Nevertheless, we show here that if a matroid is not representable over GF(5), then this can be verified by a short proof. Here a ‘‘short proof’’ is a proof whose length is bounded by some polynomial in the number of elements of the matroid. In contrast to these positive results, Seymour showed that we require exponentially many rank evaluations to prove GF(2)-representability, and this is in fact the